resolution.o: resolution.cpp resolution.hpp formule.hpp
